翻訳と辞書
Words near each other
・ Community Unit School District 300
・ Community Unit School District 300 (disambiguation)
・ Community Unit School District 303
・ Community Unit School District 95
・ Community United KC
・ Community Weeklies
・ Community West Bancshares
・ Community wind energy
・ Community Woman's Club
・ Community Women's Orchestra
・ Community work placements
・ Community x-change
・ Community youth development
・ Community Youth Orchestra of Southern California
・ Community youth workers
Community Z Tools
・ Community, Social and Personal Services (constituency)
・ Community-acquired pneumonia
・ Community-based care
・ Community-based clinical trial
・ Community-based conservation
・ Community-based economics
・ Community-based management
・ Community-based monitoring
・ Community-based participatory research
・ Community-based program design
・ Community-based rehabilitation
・ Community-controlled game
・ Community-driven development
・ Community-Led Infrastructure Finance Facility


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

Community Z Tools : ウィキペディア英語版
Community Z Tools
The (CZT Community Z Tools ) (CZT) project is a SourceForge project to build a set of tools for the Z notation, a formal method useful in software engineering. Tools include support for editing, typechecking and animating Z specifications. There is some support for extensions such as Object-Z and TCOZ. The tools are built using the Java programming language.
CZT was proposed by Andrew Martin in 2001. "To establish an internet-based community project to build a framework for Z tool integration and ultimately numerous plug-in tools."()
== External links ==

* (CZT SourceForge website )
* (CZT initiative ) information by Andrew Martin
* (Softpedia information )
* ''(CZT: A Framework for Z Tools )'' by Petra Malik and Mark Utting (PDF)
* AM2001 (Proposal )

抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)
ウィキペディアで「Community Z Tools」の詳細全文を読む



スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.